Câu ví dụÔng là một trong những sáng lập viên của lý thuyết chứng minh logic toán học và sự phân biệt giữa toán học và meta toán học.
